jade.content
Class IRE

java.lang.Object
  |
  +--jade.content.IRE

public class IRE

extends java.lang.Object

implements Proposition

Author:

Federico Bergenti - Universita` di Parma

Constructor Summary

IRE()
Constructor

Method Summary

java.lang.String	getKind() Gets the cardinality of the query, i.e., the kind of the variable.
Proposition	getProposition() Retrieves the proposition that descripes the object.
Variable	getVariable() Retrieves the variable associated with the described object.
void	setKind(java.lang.String kind) Sets the cardinality of the query, i.e., the kind of the variable.
void	setProposition(Proposition proposition) Sets the proposition that describes the object.
void	setVariable(Variable variable) Sets the variable associated with the described object.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IRE

public IRE()

Constructor

Method Detail

setProposition

public void setProposition(Proposition proposition)

Sets the proposition that describes the object.

Parameters:

proposition - the describing proposition.

getProposition

public Proposition getProposition()

Retrieves the proposition that descripes the object.

Returns:

the describing proposition.

setVariable

public void setVariable(Variable variable)

Sets the variable associated with the described object.

Parameters:

variable - the variable to use.

getVariable

public Variable getVariable()

Retrieves the variable associated with the described object.

Returns:

the variable.

setKind

public void setKind(java.lang.String kind)

Sets the cardinality of the query, i.e., the kind of the variable.

Parameters:

kind - the kind of the variable.

getKind

public java.lang.String getKind()

Gets the cardinality of the query, i.e., the kind of the variable.

Returns:

the kind of the variable.